Approach for Designing Real-Time IoT Systems

ViPER – A Component-Based Approach for Designing Real-Time Systems

In this paper, we present a component-based approach for the development of distributed safetycritical real-time systems. The ViPER method is based on the synchronous approach for designing reactive systems and a time-triggered communication architecture. Synchronous software components consisting of a reactive and a transformational part are used to specify the behavior of the system. The reac...

Designing Hard Real-Time Systems

This paper presents a systems life cycle and a structured design method which are tailored towards the construction of real-time systems in general, and hard real-time systems in particular. The standard systems life cycle is modified to take into account the expression and satisfaction of non-functional requirements. The HOOD design method is extended to support abstractions which explicitly c...

Designing Distributed, Real-Time Systems

A Conditional Scheduling Approach to Designing Real-Time Systems

We present an approach to designing real-time systems based on dynamically sequencing condition-specific task-execution schedules. A system that dynamically alters its real-time execution component provides flexibility in the face of changing on-line conditions. For domains in wttich real-time response and safety must be guaranteed at design time, achieving this flexibility requires the introdu...

Designing FIP-based Distributed Real-Time Systems

In this paper we describe our case study of designing an FIP-based distributed numerical control system, focusing on practically validating the end-to-end design methodology that we have developed in [5, 6]. The design methodology was used to automatically derive task attributes such as periods, deadlines, and phases, from the high-level design of the numerical control system. Since the design ...